Realizer 

latex

Definitions	t  T, Realizer, , Prop, x. t(x), x:A. B(x), x(s)
Lemmas	it wf, unit wf, Id wf, Knd wf, IdLnk wf, fpf wf, decl-state wf, decl-type wf